3.449 \(\int \left (a+b x^3\right )^{3/2} \left (c+d x+e x^2+f x^3+g x^4\right ) \, dx\)

Optimal. Leaf size=694 \[ -\frac{27 \sqrt [4]{3} \sqrt{2-\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (19 b d-4 a g) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1729 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{54 a^2 \sqrt{a+b x^3} (19 b d-4 a g)}{1729 b^{5/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 a^2 e \sqrt{a+b x^3}}{15 b}+\frac{54 a^2 f x \sqrt{a+b x^3}}{935 b}+\frac{54 a^2 g x^2 \sqrt{a+b x^3}}{1729 b}+\frac{18\ 3^{3/4} \sqrt{2+\sqrt{3}} a^2 \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right ) \left (1729 \sqrt [3]{b} (17 b c-2 a f)-935 \left (1-\sqrt{3}\right ) \sqrt [3]{a} (19 b d-4 a g)\right )}{1616615 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{2 a \sqrt{a+b x^3} \left (793611 c x+479655 d x^2+323323 e x^3+233415 f x^4+176715 g x^5\right )}{4849845}+\frac{2 \left (a+b x^3\right )^{3/2} \left (62985 c x+53295 d x^2+46189 e x^3+40755 f x^4+36465 g x^5\right )}{692835} \]

[Out]

(2*a^2*e*Sqrt[a + b*x^3])/(15*b) + (54*a^2*f*x*Sqrt[a + b*x^3])/(935*b) + (54*a^
2*g*x^2*Sqrt[a + b*x^3])/(1729*b) + (54*a^2*(19*b*d - 4*a*g)*Sqrt[a + b*x^3])/(1
729*b^(5/3)*((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)) + (2*(a + b*x^3)^(3/2)*(62985*c
*x + 53295*d*x^2 + 46189*e*x^3 + 40755*f*x^4 + 36465*g*x^5))/692835 + (2*a*Sqrt[
a + b*x^3]*(793611*c*x + 479655*d*x^2 + 323323*e*x^3 + 233415*f*x^4 + 176715*g*x
^5))/4849845 - (27*3^(1/4)*Sqrt[2 - Sqrt[3]]*a^(7/3)*(19*b*d - 4*a*g)*(a^(1/3) +
b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1
/3) + b^(1/3)*x)^2]*EllipticE[ArcSin[((1 - Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + S
qrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt[3]])/(1729*b^(5/3)*Sqrt[(a^(1/3)*(a^(
1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3]) + (18
*3^(3/4)*Sqrt[2 + Sqrt[3]]*a^2*(1729*b^(1/3)*(17*b*c - 2*a*f) - 935*(1 - Sqrt[3]
)*a^(1/3)*(19*b*d - 4*a*g))*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3
)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticF[ArcSin[((1 -
Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt
[3]])/(1616615*b^(5/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/
3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3])

_______________________________________________________________________________________

Rubi [A]  time = 1.75716, antiderivative size = 694, normalized size of antiderivative = 1., number of steps used = 9, number of rules used = 7, integrand size = 32, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.219 \[ -\frac{27 \sqrt [4]{3} \sqrt{2-\sqrt{3}} a^{7/3} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} (19 b d-4 a g) E\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right )}{1729 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{54 a^2 \sqrt{a+b x^3} (19 b d-4 a g)}{1729 b^{5/3} \left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )}+\frac{2 a^2 e \sqrt{a+b x^3}}{15 b}+\frac{54 a^2 f x \sqrt{a+b x^3}}{935 b}+\frac{54 a^2 g x^2 \sqrt{a+b x^3}}{1729 b}+\frac{18\ 3^{3/4} \sqrt{2+\sqrt{3}} a^2 \left (\sqrt [3]{a}+\sqrt [3]{b} x\right ) \sqrt{\frac{a^{2/3}-\sqrt [3]{a} \sqrt [3]{b} x+b^{2/3} x^2}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} F\left (\sin ^{-1}\left (\frac{\sqrt [3]{b} x+\left (1-\sqrt{3}\right ) \sqrt [3]{a}}{\sqrt [3]{b} x+\left (1+\sqrt{3}\right ) \sqrt [3]{a}}\right )|-7-4 \sqrt{3}\right ) \left (1729 \sqrt [3]{b} (17 b c-2 a f)-935 \left (1-\sqrt{3}\right ) \sqrt [3]{a} (19 b d-4 a g)\right )}{1616615 b^{5/3} \sqrt{\frac{\sqrt [3]{a} \left (\sqrt [3]{a}+\sqrt [3]{b} x\right )}{\left (\left (1+\sqrt{3}\right ) \sqrt [3]{a}+\sqrt [3]{b} x\right )^2}} \sqrt{a+b x^3}}+\frac{2 a \sqrt{a+b x^3} \left (793611 c x+479655 d x^2+323323 e x^3+233415 f x^4+176715 g x^5\right )}{4849845}+\frac{2 \left (a+b x^3\right )^{3/2} \left (62985 c x+53295 d x^2+46189 e x^3+40755 f x^4+36465 g x^5\right )}{692835} \]

Antiderivative was successfully verified.

[In]  Int[(a + b*x^3)^(3/2)*(c + d*x + e*x^2 + f*x^3 + g*x^4),x]

[Out]

(2*a^2*e*Sqrt[a + b*x^3])/(15*b) + (54*a^2*f*x*Sqrt[a + b*x^3])/(935*b) + (54*a^
2*g*x^2*Sqrt[a + b*x^3])/(1729*b) + (54*a^2*(19*b*d - 4*a*g)*Sqrt[a + b*x^3])/(1
729*b^(5/3)*((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)) + (2*(a + b*x^3)^(3/2)*(62985*c
*x + 53295*d*x^2 + 46189*e*x^3 + 40755*f*x^4 + 36465*g*x^5))/692835 + (2*a*Sqrt[
a + b*x^3]*(793611*c*x + 479655*d*x^2 + 323323*e*x^3 + 233415*f*x^4 + 176715*g*x
^5))/4849845 - (27*3^(1/4)*Sqrt[2 - Sqrt[3]]*a^(7/3)*(19*b*d - 4*a*g)*(a^(1/3) +
b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1
/3) + b^(1/3)*x)^2]*EllipticE[ArcSin[((1 - Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + S
qrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt[3]])/(1729*b^(5/3)*Sqrt[(a^(1/3)*(a^(
1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3]) + (18
*3^(3/4)*Sqrt[2 + Sqrt[3]]*a^2*(1729*b^(1/3)*(17*b*c - 2*a*f) - 935*(1 - Sqrt[3]
)*a^(1/3)*(19*b*d - 4*a*g))*(a^(1/3) + b^(1/3)*x)*Sqrt[(a^(2/3) - a^(1/3)*b^(1/3
)*x + b^(2/3)*x^2)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)^2]*EllipticF[ArcSin[((1 -
Sqrt[3])*a^(1/3) + b^(1/3)*x)/((1 + Sqrt[3])*a^(1/3) + b^(1/3)*x)], -7 - 4*Sqrt
[3]])/(1616615*b^(5/3)*Sqrt[(a^(1/3)*(a^(1/3) + b^(1/3)*x))/((1 + Sqrt[3])*a^(1/
3) + b^(1/3)*x)^2]*Sqrt[a + b*x^3])

_______________________________________________________________________________________

Rubi in Sympy [F(-1)]  time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  rubi_integrate((b*x**3+a)**(3/2)*(g*x**4+f*x**3+e*x**2+d*x+c),x)

[Out]

Timed out

_______________________________________________________________________________________

Mathematica [C]  time = 2.4873, size = 429, normalized size = 0.62 \[ -\frac{54 i 3^{3/4} a^{7/3} \sqrt{\frac{(-1)^{5/6} \left (\sqrt [3]{-b} x-\sqrt [3]{a}\right )}{\sqrt [3]{a}}} \sqrt{\frac{(-b)^{2/3} x^2}{a^{2/3}}+\frac{\sqrt [3]{-b} x}{\sqrt [3]{a}}+1} F\left (\sin ^{-1}\left (\frac{\sqrt{-\frac{i \sqrt [3]{-b} x}{\sqrt [3]{a}}-(-1)^{5/6}}}{\sqrt [4]{3}}\right )|\sqrt [3]{-1}\right ) \left (-3740 a^{4/3} g+323 b \left (55 \sqrt [3]{a} d+91 \sqrt [3]{-b} c\right )-3458 a \sqrt [3]{-b} f\right )-151470 (-1)^{2/3} \sqrt [4]{3} a^{8/3} \sqrt{\frac{(-1)^{5/6} \left (\sqrt [3]{-b} x-\sqrt [3]{a}\right )}{\sqrt [3]{a}}} \sqrt{\frac{(-b)^{2/3} x^2}{a^{2/3}}+\frac{\sqrt [3]{-b} x}{\sqrt [3]{a}}+1} (19 b d-4 a g) E\left (\sin ^{-1}\left (\frac{\sqrt{-\frac{i \sqrt [3]{-b} x}{\sqrt [3]{a}}-(-1)^{5/6}}}{\sqrt [4]{3}}\right )|\sqrt [3]{-1}\right )+2 (-b)^{2/3} \left (a+b x^3\right ) \left (a^2 (323323 e+81 x (1729 f+935 g x))+2 a b x \left (617253 c+x \left (426360 d+7 x \left (46189 e+37050 f x+30855 g x^2\right )\right )\right )+7 b^2 x^4 \left (62985 c+11 x \left (4845 d+13 x \left (323 e+285 f x+255 g x^2\right )\right )\right )\right )}{4849845 (-b)^{5/3} \sqrt{a+b x^3}} \]

Warning: Unable to verify antiderivative.

[In]  Integrate[(a + b*x^3)^(3/2)*(c + d*x + e*x^2 + f*x^3 + g*x^4),x]

[Out]

-(2*(-b)^(2/3)*(a + b*x^3)*(a^2*(323323*e + 81*x*(1729*f + 935*g*x)) + 7*b^2*x^4
*(62985*c + 11*x*(4845*d + 13*x*(323*e + 285*f*x + 255*g*x^2))) + 2*a*b*x*(61725
3*c + x*(426360*d + 7*x*(46189*e + 37050*f*x + 30855*g*x^2)))) - 151470*(-1)^(2/
3)*3^(1/4)*a^(8/3)*(19*b*d - 4*a*g)*Sqrt[((-1)^(5/6)*(-a^(1/3) + (-b)^(1/3)*x))/
a^(1/3)]*Sqrt[1 + ((-b)^(1/3)*x)/a^(1/3) + ((-b)^(2/3)*x^2)/a^(2/3)]*EllipticE[A
rcSin[Sqrt[-(-1)^(5/6) - (I*(-b)^(1/3)*x)/a^(1/3)]/3^(1/4)], (-1)^(1/3)] + (54*I
)*3^(3/4)*a^(7/3)*(323*b*(91*(-b)^(1/3)*c + 55*a^(1/3)*d) - 3458*a*(-b)^(1/3)*f
- 3740*a^(4/3)*g)*Sqrt[((-1)^(5/6)*(-a^(1/3) + (-b)^(1/3)*x))/a^(1/3)]*Sqrt[1 +
((-b)^(1/3)*x)/a^(1/3) + ((-b)^(2/3)*x^2)/a^(2/3)]*EllipticF[ArcSin[Sqrt[-(-1)^(
5/6) - (I*(-b)^(1/3)*x)/a^(1/3)]/3^(1/4)], (-1)^(1/3)])/(4849845*(-b)^(5/3)*Sqrt
[a + b*x^3])

_______________________________________________________________________________________

Maple [B]  time = 0.008, size = 1629, normalized size = 2.4 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  int((b*x^3+a)^(3/2)*(g*x^4+f*x^3+e*x^2+d*x+c),x)

[Out]

c*(2/11*b*x^4*(b*x^3+a)^(1/2)+28/55*a*x*(b*x^3+a)^(1/2)-18/55*I*a^2*3^(1/2)/b*(-
a*b^2)^(1/3)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*
b/(-a*b^2)^(1/3))^(1/2)*((x-1/b*(-a*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(
1/2)/b*(-a*b^2)^(1/3)))^(1/2)*(-I*(x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^
2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)/(b*x^3+a)^(1/2)*EllipticF(1/3*3^(1/2)*
(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1
/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-
a*b^2)^(1/3)))^(1/2)))+d*(2/13*b*x^5*(b*x^3+a)^(1/2)+32/91*a*x^2*(b*x^3+a)^(1/2)
-18/91*I*a^2*3^(1/2)/b*(-a*b^2)^(1/3)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b
*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)*((x-1/b*(-a*b^2)^(1/3))/(-3/2/b
*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2)*(-I*(x+1/2/b*(-a*b^2)^(1/
3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)/(b*x^3+a)^(1/
2)*((-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*EllipticE(1/3*3^(1/2)
*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(
1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(
-a*b^2)^(1/3)))^(1/2))+1/b*(-a*b^2)^(1/3)*EllipticF(1/3*3^(1/2)*(I*(x+1/2/b*(-a*
b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2),(I*3^
(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(
1/2))))+2/15*e/b*(b*x^3+a)^(5/2)+f*(2/17*b*x^7*(b*x^3+a)^(1/2)+40/187*a*x^4*(b*x
^3+a)^(1/2)+54/935/b*a^2*x*(b*x^3+a)^(1/2)+36/935*I/b^2*a^3*3^(1/2)*(-a*b^2)^(1/
3)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)
^(1/3))^(1/2)*((x-1/b*(-a*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a
*b^2)^(1/3)))^(1/2)*(-I*(x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*
3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)/(b*x^3+a)^(1/2)*EllipticF(1/3*3^(1/2)*(I*(x+1/2/
b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)
,(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/
3)))^(1/2)))+g*(2/19*b*x^8*(b*x^3+a)^(1/2)+44/247*a*x^5*(b*x^3+a)^(1/2)+54/1729/
b*a^2*x^2*(b*x^3+a)^(1/2)+72/1729*I/b^2*a^3*3^(1/2)*(-a*b^2)^(1/3)*(I*(x+1/2/b*(
-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2)*((
x-1/b*(-a*b^2)^(1/3))/(-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1
/2)*(-I*(x+1/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*b/(-a*b^
2)^(1/3))^(1/2)/(b*x^3+a)^(1/2)*((-3/2/b*(-a*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)
^(1/3))*EllipticE(1/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2
)^(1/3))*3^(1/2)*b/(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a
*b^2)^(1/3)+1/2*I*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2))+1/b*(-a*b^2)^(1/3)*EllipticF
(1/3*3^(1/2)*(I*(x+1/2/b*(-a*b^2)^(1/3)-1/2*I*3^(1/2)/b*(-a*b^2)^(1/3))*3^(1/2)*
b/(-a*b^2)^(1/3))^(1/2),(I*3^(1/2)/b*(-a*b^2)^(1/3)/(-3/2/b*(-a*b^2)^(1/3)+1/2*I
*3^(1/2)/b*(-a*b^2)^(1/3)))^(1/2))))

_______________________________________________________________________________________

Maxima [F]  time = 0., size = 0, normalized size = 0. \[ \int{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )}{\left (b x^{3} + a\right )}^{\frac{3}{2}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2),x, algorithm="maxima")

[Out]

integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2), x)

_______________________________________________________________________________________

Fricas [F]  time = 0., size = 0, normalized size = 0. \[{\rm integral}\left ({\left (b g x^{7} + b f x^{6} + b e x^{5} +{\left (b d + a g\right )} x^{4} + a e x^{2} +{\left (b c + a f\right )} x^{3} + a d x + a c\right )} \sqrt{b x^{3} + a}, x\right ) \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2),x, algorithm="fricas")

[Out]

integral((b*g*x^7 + b*f*x^6 + b*e*x^5 + (b*d + a*g)*x^4 + a*e*x^2 + (b*c + a*f)*
x^3 + a*d*x + a*c)*sqrt(b*x^3 + a), x)

_______________________________________________________________________________________

Sympy [A]  time = 9.16609, size = 444, normalized size = 0.64 \[ \text{result too large to display} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((b*x**3+a)**(3/2)*(g*x**4+f*x**3+e*x**2+d*x+c),x)

[Out]

a**(3/2)*c*x*gamma(1/3)*hyper((-1/2, 1/3), (4/3,), b*x**3*exp_polar(I*pi)/a)/(3*
gamma(4/3)) + a**(3/2)*d*x**2*gamma(2/3)*hyper((-1/2, 2/3), (5/3,), b*x**3*exp_p
olar(I*pi)/a)/(3*gamma(5/3)) + a**(3/2)*f*x**4*gamma(4/3)*hyper((-1/2, 4/3), (7/
3,), b*x**3*exp_polar(I*pi)/a)/(3*gamma(7/3)) + a**(3/2)*g*x**5*gamma(5/3)*hyper
((-1/2, 5/3), (8/3,), b*x**3*exp_polar(I*pi)/a)/(3*gamma(8/3)) + sqrt(a)*b*c*x**
4*gamma(4/3)*hyper((-1/2, 4/3), (7/3,), b*x**3*exp_polar(I*pi)/a)/(3*gamma(7/3))
+ sqrt(a)*b*d*x**5*gamma(5/3)*hyper((-1/2, 5/3), (8/3,), b*x**3*exp_polar(I*pi)
/a)/(3*gamma(8/3)) + sqrt(a)*b*f*x**7*gamma(7/3)*hyper((-1/2, 7/3), (10/3,), b*x
**3*exp_polar(I*pi)/a)/(3*gamma(10/3)) + sqrt(a)*b*g*x**8*gamma(8/3)*hyper((-1/2
, 8/3), (11/3,), b*x**3*exp_polar(I*pi)/a)/(3*gamma(11/3)) + a*e*Piecewise((sqrt
(a)*x**3/3, Eq(b, 0)), (2*(a + b*x**3)**(3/2)/(9*b), True)) + b*e*Piecewise((-4*
a**2*sqrt(a + b*x**3)/(45*b**2) + 2*a*x**3*sqrt(a + b*x**3)/(45*b) + 2*x**6*sqrt
(a + b*x**3)/15, Ne(b, 0)), (sqrt(a)*x**6/6, True))

_______________________________________________________________________________________

GIAC/XCAS [F]  time = 0., size = 0, normalized size = 0. \[ \int{\left (g x^{4} + f x^{3} + e x^{2} + d x + c\right )}{\left (b x^{3} + a\right )}^{\frac{3}{2}}\,{d x} \]

Verification of antiderivative is not currently implemented for this CAS.

[In]  integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2),x, algorithm="giac")

[Out]

integrate((g*x^4 + f*x^3 + e*x^2 + d*x + c)*(b*x^3 + a)^(3/2), x)